workspace: Adjust spacing

Icons are always visible, so in order to not have overlays overlap
with other previews, we need to consider the sum of top- and border
oversizes rather than the maximum.

https://gitlab.gnome.org/Teams/Design/os-mockups/-/issues/81

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1605>

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index a93ec27264ccb1691e4c0f98b52b956d1b196e82..cb3c212eea0d3772a5585f75aab88a195225e5c4 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -464,7 +464,7 @@ var WorkspaceLayout = GObject.registerClass({
         const [leftOversize, rightOversize] = window.chromeWidths();
 
         if (rowSpacing)
-            rowSpacing += Math.max(topOversize, bottomOversize);
+            rowSpacing += topOversize + bottomOversize;
         if (colSpacing)
             colSpacing += Math.max(leftOversize, rightOversize);